Logic of graphs

Results: 42



#Item
31Mathematics / Grammar / Diagrams / Knowledge representation / Philosophical logic / Graph / Adjective / Attributive / Conceptual graph / Linguistics / Parts of speech / Logic

Geographic Knowledge Representation Using Conceptual Graphs Athanasios Karalopoulos, Margarita Kokla, Marinos Kavouras National Technical University of AthensZografos Campus, Athens, Greece http://ontogeo.ntua.gr

Add to Reading List

Source URL: itcnt05.itc.nl

Language: English - Date: 2005-02-27 17:00:00
32Boolean algebra / Complexity classes / Logic in computer science / Binary decision diagram / Model checking / Boolean function / Boolean circuit / Circuit / FO / Theoretical computer science / Mathematics / Computational complexity theory

Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 5 Complexity of Problems on Graphs Represented as OBDDs

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 1999-10-12 16:14:35
33Charles Sanders Peirce / Philosophical logic / Diagrams / Predicate logic / Existential graph / First-order logic / Universal quantification / Function / Logical graph / Logic / Mathematics / Mathematical logic

Peirce’s Tutorial on Existential Graphs John F. Sowa Abstract. In his formal papers on existential graphs, Peirce tended to obscure the simplicity of EGs with distracting digressions. In MS 514, however, he presented h

Add to Reading List

Source URL: www.jfsowa.com

Language: English - Date: 2011-09-24 23:42:59
34Philosophical logic / Mathematical logic / Predicate logic / Knowledge representation / Conceptual graph / Existential graph / Quantification / Charles Sanders Peirce bibliography / First-order logic / Logic / Science / Mathematics

Conceptual Graphs For Representing Conceptual Structures John F. Sowa VivoMind Intelligence Abstract. A conceptual graph (CG) is a graph representation for logic based on the semantic networks of artificial intelligence

Add to Reading List

Source URL: www.jfsowa.com

Language: English - Date: 2009-09-22 13:18:55
35Textual entailment / WordNet / Semantics / Entailment / Bitext word alignment / Inference / Monotonicity of entailment / First-order logic / Knowledge representation and reasoning / Logic / Science / Logical consequence

Aligning semantic graphs for textual inference and machine reading Marie-Catherine de Marneffe, Trond Grenager, Bill MacCartney, Daniel Cer, Daniel Ramage, Chlo´e Kiddon, Christopher D. Manning {mcdm, grenager, wcmac, c

Add to Reading List

Source URL: dmcer.net

Language: English - Date: 2011-07-25 01:42:32
36Philosophical logic / Knowledge representation / Diagrams / Charles Sanders Peirce / Conceptual graph / Existential graph / Quantification / First-order logic / Charles Sanders Peirce bibliography / Logic / Mathematics / Science

Conceptual Graphs John F. Sowa Abstract. A conceptual graph (CG) is a graph representation for logic based on the semantic networks of artificial intelligence and the existential graphs of Charles Sanders Peirce. Several

Add to Reading List

Source URL: www.jfsowa.com

Language: English - Date: 2010-05-01 10:56:18
37Mathematics / Grammar / Diagrams / Knowledge representation / Philosophical logic / Graph / Adjective / Attributive / Conceptual graph / Linguistics / Parts of speech / Logic

Geographic Knowledge Representation Using Conceptual Graphs Athanasios Karalopoulos, Margarita Kokla, Marinos Kavouras National Technical University of Athens[removed]Zografos Campus, Athens, Greece http://ontogeo.ntua.gr

Add to Reading List

Source URL: www.agile-online.org

Language: English - Date: 2004-03-14 14:24:14
38Probabilistic complexity theory / Algorithm / Mathematical logic / Random graph / Markov chain Monte Carlo / Monte Carlo method / Matching / Edge coloring / Hopcroft–Karp algorithm / Mathematics / Theoretical computer science / Applied mathematics

On the uniform generation of random graphs with prescribed degree sequences R. Milo,1, 2 N. Kashtan,2, 3 S. Itzkovitz,1, 2 M. E. J. Newman,4 and U. Alon1, 2 Department of Physics of Complex Systems, Weizmann Institute of

Add to Reading List

Source URL: snap.stanford.edu

Language: English - Date: 2012-09-27 02:30:03
39Textual entailment / WordNet / Semantics / Entailment / Bitext word alignment / Inference / Monotonicity of entailment / First-order logic / Knowledge representation and reasoning / Logic / Science / Logical consequence

Aligning semantic graphs for textual inference and machine reading Marie-Catherine de Marneffe, Trond Grenager, Bill MacCartney, Daniel Cer, Daniel Ramage, Chlo´e Kiddon, Christopher D. Manning {mcdm, grenager, wcmac, c

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2006-10-09 13:21:20
40United States Office of Research Integrity / Patient Protection and Affordable Care Act / United States Assistant Secretary for Health / Health policy / Government / Health / Chronic Fatigue Syndrome Advisory Committee / United States Public Health Service / United States Department of Health and Human Services

Federal Register / Vol. 78, No[removed]Tuesday, April 30, [removed]Notices included in an April 1–June 30, 2012, quarterly report to NIAID. • In Liquid Logic laboratory documents, the Respondent falsified the graphs of R

Add to Reading List

Source URL: www.gpo.gov

Language: English - Date: 2013-04-30 00:32:18
UPDATE